| emsoft | participants

Kamal Lodaya

EMSOFT 2024: 24th International Conference on Embedded Software

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems

Habeeb P, Deepak D'Souza, Kamal Lodaya, and Prabhakar Prabhakar